Aworkshop was held August 26–28, 2015, by the Earth- Life Science Institute (ELSI) Origins Network (EON, see Appendix I) at the Tokyo Institute of Technology. This meeting gathered a diverse group of around 40 scholars researching the origins of life (OoL) from various perspectives with the intent to find common ground, identify key questions and investigations for progress, and guide EON by suggesting a roadmap of activities. Specific challenges that the attendees were encouraged to address included the following: What key (...) questions, ideas, and investigations should the OoL research community address in the near and long term? How can this community better organize itself and prioritize its efforts? What roles can particular subfields play, and what can ELSI and EON do to facilitate research progress? (See also Appendix II.) The present document is a product of that workshop; a white paper that serves as a record of the discussion that took place and a guide and stimulus to the solution of the most urgent and important issues in the study of the OoL. This paper is not intended to be comprehensive or a balanced representation of the opinions of the entire OoL research community. It is intended to present a number of important position statements that contain many aspirational goals and suggestions as to how progress can be made in understanding the OoL. The key role played in the field by current societies and recurring meetings over the past many decades is fully acknowledged, including the International Society for the Study of the Origin of Life (ISSOL) and its official journal Origins of Life and Evolution of Biospheres, as well as the International Society for Artificial Life (ISAL). (shrink)

Open peer commentary on the article “Investigating Extended Embodiment Using a Computational Model and Human Experimentation” by Yuki Sato, Hiroyuki Iizuka & Takashi Ikegami. Upshot: First, we comment on a potential weakness highlighted by the use of self-reporting in the human-coupled windmill experiment as described in the target article. Second, we suggest that the authors treat their windmill models as soft-assembled dynamical systems. This would allow them to investigate extended body schemes by looking for 1/f noise in the interface (...) between the agent and the windmills. (shrink)

This article revisits the manuscript tradition and the different redactions of John Buridan’s commentaries on Aristotle’s Physics. The aim of the article is threefold. First, it makes some corrections to the lists of manuscripts containing the third redaction and the final redaction of Buridan’s questions commentary on the Physics. Second, it argues that manuscript Zaragoza, Biblioteca Capitular de la Seo, cod. 15-61, ff. 1r-62v, contains a previously unknown version of the final redaction (together with the standard version from f. 62v (...) onwards). Third, to facilitate further study of the manuscripts of Buridan’s questions on the Physics and their mutual relations, appendices at the end of the article provide detailed tables of contents for the third redaction and the final redaction, as well as editions of selected questions from the Zaragoza manuscript, the third redaction of Buridan’s questions on the Physics, and the so-called Quaestiones breves. (shrink)

For a large natural class of forcing notions, we prove general equivalence theorems between forcing absoluteness statements, regularity properties, and transcendence properties over and the core model . We use our results to answer open questions from set theory of the reals.

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal assumptions Boolean-valued second-order logic is more robust than full second-order logic. Its (...) validity is absolute under forcing, and its Hanf and Löwenheim numbers are smaller than those of full second-order logic. (shrink)

We study various classes of maximality principles, \\), introduced by Hamkins :527–550, 2003), where \ defines a class of forcing posets and \ is an infinite cardinal. We explore the consistency strength and the relationship of \\) with various forcing axioms when \. In particular, we give a characterization of bounded forcing axioms for a class of forcings \ in terms of maximality principles MP\\) for \ formulas. A significant part of the paper is devoted to studying the principle MP\\) (...) where \ and \ defines the class of stationary set preserving forcings. We show that MP\\) has high consistency strength; on the other hand, if \ defines the class of proper forcings or semi-proper forcings, then by Hamkins, MP\\) is consistent relative to \. (shrink)

We show under that every set of reals is I‐regular for any σ‐ideal I on the Baire space such that is proper. This answers the question of Khomskii [7, Question 2.6.5]. We also show that the same conclusion holds under if we additionally assume that the set of Borel codes for I‐positive sets is. If we do not assume, the notion of properness becomes obscure as pointed out by Asperó and Karagila [1]. Using the notion of strong properness similar to (...) the one introduced by Bagaria and Bosch [2], we show under without using that every set of reals is I‐regular for any σ‐ideal I on the Baire space such that is strongly proper assuming every set of reals is ∞‐Borel and there is no ω1‐sequence of distinct reals. In particular, the same conclusion holds in a Solovay model. (shrink)

A new design principle is discussed for making a sufficiently complex cell for the creation of the first wet artificial life in the laboratory. The current approach is to attempt a minimal cell, which consists of a liposome that contains a minimal metabolic cycle for self-maintenance and self-replication. Given the lack of success with the minimal cell to date, the authors suggest it is possible to take an alternative approach to building the first wet artificial life form that they have (...) called the first cell. In this article, the concept of the first cell versus the minimal cell is discussed. The new design principle is supported by the following observations that are examined and developed from an Origins of Life perspective: That human development shows a U-shaped curve where the skills and developmental patterns of human infants are proficient at the first phase then decline and subsequently recover to a qualitatively better level. A review of spatial temporal dynamics using cellular automata studies shows that complexity generated at both the initial states and the time evolution dynamics can synthesize rich evolutionary processes. A chemical experiment exhibiting self-organizing dynamics results in the emergence of a self-propelling oil droplet that demonstrates the self-sustaining properties of a non-equilibrium state. Finally, the important design question Is life a contingent or deterministic phenomenon? is examined which asks whether a life form is a dynamic product of its surroundings or whether it is the inevitable outcome of prior events, and is discussed making reference to the characteristics of an art installation The Way Things Go. This contemporary masterpiece, which exhibits a long-lasting chain of unrelated causal events, serves as a theoretical model for discussion of evolutionary processes, suggesting that when it comes to designing wet artificial life forms in the laboratory, both contingent and deterministic processes should be taken into account. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:ST. THOMAS ON ANGELIC TIME AND MOTION J. J. MACINTOSH University ofCalgary Calgary, Alberta, Canada A. THOMAS'S STANDARD DOCTRINE: THE NEED FOR ASINGLE TIME. T HERE IS an under-discussed problem about time for St. Thomas. Most discussions of his views on time center around either the question of God's foreknowledge or around the notions of eternity and aeviternity. Even those discussions which deal directly with Thomas's views on time (...) ignore the issue I wish to discuss here.' The problem is this: St. Thomas held both that there is a single time, created by God, and that there are three distinct times: two for the angels, and one for the rest of creation. Moreover, he seems, fairly explicitly, to have been unwilling to adopt either of the obvious ways out of this apparent contradiction. Thomas believed, and often said, that time is unitary, and typically offered an Aristotelian reason for the claim: "the true reason why time is one, is to be found in the oneness of the first movement by which, since it is most simple, all other movements are measured. Therefore time is referred to that movement, not only as a measure is to the thing measured, but also as accident 1 See, for example, Piero Ariotti, "Celestial reductionism of time: on the scholastic conception of time from Albert the great and Thomas Aquinas to the end of the 16th century," Studia Internationale Filosofia 4 (1972): 91-120, and Antonio Moreno, "Time and Relativity: Some Philosophical Considerations," The Thomist 45 (1981): 62-79. I have referred to this problem earlier in "Time and St. Thomas" (in To Myselffrom Others, ed. David Miller [Warwick: University of Warwick, 1989)), and in "Aquinas, Ockham, and Prior (and the unexpected examination),'' Auckland Philosophy Papers, no. 1 (1990). 547 548 J. J. MACINTOSH is to subject; and thus receives unity from it."2 Moreover, such a doctrine is necessary if what he tells us about the foreknowledge of God, and God's inability to change the past,3 not to mention his views on the knowledge that angels and demons have of what is genuinely future, is to be correct. Briefly, those views commit him to a view of a single time that is linear past, and is nonbranching future as well.4 There is some exegetical question as to whether or not his views on time, contingency, and freedom led him to adopt a truth-gap account of genuinely future tense contingent propositions, but that the singleness of time is required has not been questioned.5 This is not the place to deal with the difficulties Aquinas faced concerning God's foreknowledge, but a brief introductory word is in order to show how central the singleness of time is for his thought in this area. Since all past- and present-tense truths have necessity per accidens (that is, they concern matters which are now irrevocable), the class of contingent truths is a proper subset of genuinely future-tense claims. A proper subset because 2 Summa Theologiae, I, q. 10, a. 6 c (hereafter cited as sn; English translation by the Fathers of the English Dominican Province, 5 vols., (1920; reprint, Westminster, Maryland: Christian Classics, 1981). This is the translation I have standardly used, sometimes with slight changes, but I have also made use of the translation by the Blackfriars (61 vols. [London: Blackfriars, in conjunction with Eyre and Spottiswood, 1964-81], hereafter cited as Blackfriars). 3 Thus, for example, "God can make the existence of an angel not future; but He cannot cause him not to be while he is, or not to have been, after he has been" (ST I, q. 10, a. 5, ad 3). 4 By contrast, Ockham, for example, adopted an implicit tense logic with branching future possibilities. As far as I know, no mediaeval thinker allowed branching pasts. For a discussion of that possibility, see John Mackie, Truth, Probability and Paradox: Studies in Philosophical Logic (Oxford: Clarendon Press, 1973). For a helpful general discussion of the issues involved, see R. Thomason, "Combinations of Tense and Modality," in D. Gabbay and D. Guenthner, eds., Handbook of Philosophical Logic, 3 vols. (Dordrecht: D. Reidel, 1984), 2... (shrink)

The first systematic collaboration between cognitive scientists and sports psychologists considers the mind–body relationship from the perspective of athletic skill and sports practice. This landmark work is the first systematic collaboration between cognitive scientists and sports psychologists that considers the mind–body relationship from the perspective of athletic skill and sports practice. With twenty-six chapters by leading researchers, the book connects and integrates findings from fields that range from philosophy of mind to sociology of sports. The chapters show not only that (...) sports can tell scientists how the human mind works but also that the scientific study of the human mind can help athletes succeed. Sports psychology research has always focused on the themes, notions, and models of embodied cognition; embodied cognition, in turn, has found striking confirmation of its theoretical claims in the psychological accounts of sports performance and athletic skill. Athletic skill is a legitimate form of intelligence, involving cognitive faculties no less sophisticated and complex than those required by mathematical problem solving. After presenting the key concepts necessary for applying embodied cognition to sports psychology, the book discusses skill disruption ; sensorimotor skill acquisition and how training correlates to the development of cognitive faculties; the intersubjective and social dimension of sports skills, seen in team sports; sports practice in cultural and societal contexts; the notion of “affordance” and its significance for ecological psychology and embodied cognition theory; and the mind's predictive capabilities, which enable anticipation, creativity, improvisation, and imagination in sports performance. Contributors Ana Maria Abreu, Kenneth Aggerholm, Salvatore Maria Aglioti, Jesús Ilundáin-Agurruza, Duarte Araújo, Jürgen Beckmann, Kath Bicknell, Geoffrey P. Bingham, Jens E. Birch, Gunnar Breivik, Noel E. Brick, Massimiliano L. Cappuccio, Thomas H. Carr, Alberto Cei, Anthony Chemero, Wayne Christensen, Lincoln J. Colling, Cassie Comley, Keith Davids, Matt Dicks, Caren Diehl, Karl Erickson, Anna Esposito, Pedro Tiago Esteves, Mirko Farina, Giolo Fele, Denis Francesconi, Shaun Gallagher, Gowrishankar Ganesh, Raúl Sánchez-García, Rob Gray, Denise M. Hill, Daniel D. Hutto, Tsuyoshi Ikegami, Geir Jordet, Adam Kiefer, Michael Kirchhoff, Kevin Krein, Kenneth Liberman, Tadhg E. MacIntyre, Nelson Mauro Maldonato, David L. Mann, Richard S. W. Masters, Patrick McGivern, Doris McIlwain, Michele Merritt, Christopher Mesagno, Vegard Fusche Moe, Barbara Gail Montero, Aidan P. Moran, David Moreau, Hiroki Nakamoto, Alberto Oliverio, David Papineau, Gert-Jan Pepping, Miriam Reiner, Ian Renshaw, Michael A. Riley, Zuzanna Rucinska, Lawrence Shapiro, Paula Silva, Shannon Spaulding, John Sutton, Phillip D. Tomporowski, John Toner, Andrew D. Wilson, Audrey Yap, Qin Zhu, Christopher Madan. (shrink)

We show that ${{\bf \Sigma}^1_3}$ -absoluteness for Sacks forcing is equivalent to the non-existence of a ${{\bf \Delta}^1_2}$ Bernstein set. We also show that Sacks forcing is the weakest forcing notion among all of the preorders that add a new real with respect to ${{\bf \Sigma}^1_3}$ forcing absoluteness.

Open peer commentary on the article “Homeostats for the 21st Century? Simulating Ashby Simulating the Brain” by Stefano Franchi. Upshot: Using the example of chemical oil droplets, the paper discusses the idea of a homeostat in terms of a default mode network.

J J Schwieso, N J Hastings; Explanations and Practice: behaviour modification in education, Journal of Philosophy of Education, Volume 20, Issue 1, 30 May 2006.

The author discusses a question related to a certain aspect of justification of legal decisions, often so-called internal justification-a legal decision is internally justified if and only if it can be deduced from the norm(s) applicable to the case, and from the statement(s) describing the facts of the case. According to this notion, infinite irrelevant logical consequences are justified. To avoid this counterintuitive conclusion, the author analyzes three notions of relevance: Sperber-Wilson's notion, Anderson-Belnap's notion, and Schurz's notion. The author presents (...) a reconstruction of the notion of relevance very close to Schurz's notion, extended to make it suitable to the particular characteristics of deontic logic. Finally, this notion of relevance is used to discuss some aspects of the concept of normative system, conceived as a deductive system, that is, a system containing all its logical consequences. (shrink)

Living out of silence, out of a fully functioning, lovingly attentive mind, and not just out of thought, out of a partially functioning mind, is requisite for depth or profundity in living or relating. A fully attentive, truly silent or meditative mind sees that there is real dualism of time and the timeless and that time and the timeless each has its own unique value. The timeless, or real silence, that which alone can make for depth in one's living and (...) relating, can be there only when, in one's awareness, time and all that is related to time, have come to an end. An examination of a wide variety of statements made by writers, both past and present, shows that these understandings are seldom there in contemporary writings, just as they were not there in writings that have come down to us from the past. 'Living beyond the One and the Many' invites readers to consider the possibility that what is presented in it can bring deep meaning to one's way of living in the world"--Publisher's description, back cover. (shrink)